<?php
(int$a;